package org.xtext.runtime.util;

import java.util.List;

import org.xtext.runtime.formula.IFormula;

/**
 * A Source for {@link IReasoner} implementations.  This interface defines a single method that
 * should return formulae matching the given formula.
 * 
 * @author rem
 */
public interface IQueryable {
	public List<IFormula> getMatchingFormulae(IFormula formula);
}
